build: Require bash for pushd

If using sh, there's no pushd. Make autogen.sh execute with bash instead.

diff --git a/autogen.sh b/autogen.sh
index 132dc90b584870f44840e7e3bb9b958d77255c1b..560dab8bc42415165d6b80588eb5f95f65c1f5e2 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Run this to generate all the initial makefiles, etc.
 
 srcdir=`dirname $0`